A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services

12th International Conference on Computer Communication, Seoul, Korea, Aug. 1995.